f31ba263bb22a944bba521605b375d5d8b76fdbb,org.coreasm.engine/src/org/coreasm/engine/plugins/predicatelogic/PredicateLogicPlugin.java,PredicateLogicPlugin,interpretExists,#Interpreter#ASTNode#,385
In pattern: SUPERPATTERN
Frequency: 4
Non-data size: 17
Instances
1466005263
michael-1.stegmaier@uni-ulm.de
CoreASM/coreasm.core,f31ba263bb22a944bba521605b375d5d8b76fdbb,org.coreasm.engine/src/org/coreasm/engine/plugins/predicatelogic/PredicateLogicPlugin.java,PredicateLogicPlugin,interpretExists,#Interpreter#ASTNode#,385
1466005210
michael-1.stegmaier@uni-ulm.de
CoreASM/coreasm.core,d2a4deb8aee4f26a0d95765a95c2ccef3909dc63,org.coreasm.engine/src/org/coreasm/engine/plugins/foreachrule/ForeachRulePlugin.java,ForeachRulePlugin,interpret,#Interpreter#ASTNode#,129
1466005263
michael-1.stegmaier@uni-ulm.de
CoreASM/coreasm.core,f31ba263bb22a944bba521605b375d5d8b76fdbb,org.coreasm.engine/src/org/coreasm/engine/plugins/predicatelogic/PredicateLogicPlugin.java,PredicateLogicPlugin,interpretExists,#Interpreter#ASTNode#,385
1466005210
michael-1.stegmaier@uni-ulm.de
CoreASM/coreasm.core,d2a4deb8aee4f26a0d95765a95c2ccef3909dc63,org.coreasm.engine/src/org/coreasm/engine/plugins/forallrule/ForallRulePlugin.java,ForallRulePlugin,interpret,#Interpreter#ASTNode#,145
1466005263
michael-1.stegmaier@uni-ulm.de
CoreASM/coreasm.core,f31ba263bb22a944bba521605b375d5d8b76fdbb,org.coreasm.engine/src/org/coreasm/engine/plugins/predicatelogic/PredicateLogicPlugin.java,PredicateLogicPlugin,interpretForall,#Interpreter#ASTNode#,512
1466005263
michael-1.stegmaier@uni-ulm.de
CoreASM/coreasm.core,f31ba263bb22a944bba521605b375d5d8b76fdbb,org.coreasm.engine/src/org/coreasm/engine/plugins/predicatelogic/PredicateLogicPlugin.java,PredicateLogicPlugin,interpretForall,#Interpreter#ASTNode#,512
1466005210
michael-1.stegmaier@uni-ulm.de
CoreASM/coreasm.core,d2a4deb8aee4f26a0d95765a95c2ccef3909dc63,org.coreasm.engine/src/org/coreasm/engine/plugins/foreachrule/ForeachRulePlugin.java,ForeachRulePlugin,interpret,#Interpreter#ASTNode#,129
1466005210
michael-1.stegmaier@uni-ulm.de
CoreASM/coreasm.core,d2a4deb8aee4f26a0d95765a95c2ccef3909dc63,org.coreasm.engine/src/org/coreasm/engine/plugins/forallrule/ForallRulePlugin.java,ForallRulePlugin,interpret,#Interpreter#ASTNode#,145